maname-deq() == union-deq(LocKnd;:Id  Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq)) 

latex

Definitions	union-deq(A;B;a;b), LocKnd, x:A  B(x), locknd-deq(), product-deq(A;B;a;b), Id, IdDeq
FDL editor aliases	maname-deq